Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday (Lecture Notes in Computer Science/Theoretical Computer Science and General Issues): 6875
by Cliff B. Jones
ISBN 13: 9783642245404
Format: Paperback (536 pages) Publisher: Springer Published: 30 Jan 2012
Save for later
Communicating Sequential Processes The First 25 Years: Symposium on the Occasion of 25 Years of CSP London, UK, July 7-8, 2004 Revised Invited Papers: 3525 (Lecture Notes in Computer Science)
by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders
ISBN 13: 9783540258131
Format: Paperback (326 pages) Publisher: Springer Published: 03 May 2005
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe Graz, Austria, ... 1313 (Lecture Notes in Computer Science)
by John Fitzgerald, Peter Lucas, Cliff B. Jones
ISBN 13: 9783540635338
Format: Paperback (708 pages) Publisher: Springer Published: 22 Feb 2009
5th Refinement Workshop: Proceedings Of The 5Th Refinement Workshop, Organised By Bcs-Facs, London, 8-10 January 1992 (Workshops In Computing)
ISBN 13: 9783540197522
Format: Paperback (392 pages) Publisher: Springer Published: 26 Jan 1993
Reflections on the Work of C.A.R. Hoare
by Cliff B. Jones, A.W. Roscoe, Kenneth R. Wood
ISBN 13: 9781447161523
Format: Paperback (444 pages) Publisher: Springer Published: 22 Nov 2014